A Dynamic Logic Framework for Reflective Architectures
نویسندگان
چکیده
The aim of this paper is to use Dynamic Logic as a common logical framework to describe and identify the most relevant formal characteristics of Reflective Logical Architectures (RLA) in order to investigate the expressive power of the KBSs that can be built upon them, from now on called Reflective Knowledge Bases (RKB). In general, a RLA allows to build RKBs as a set of units with initial local theories written in possibly different logical languages. Each unit is also usualy allowed to have its own intra-unit deductive system. Moreover, the whole RKB is equipped with an additional set of deductive rules, called Reflection rules, to control the information flow among the different units of the RKB. The set of Reflection rules act as an inter-unit deductive system,. The reasoning dynamics of a RKB on top of a RLA can therefore be described by how the local theories of the units evolve during execution.
منابع مشابه
Formal Specification of Reflective Agents
Many autonomous agents exhibit reflective behaviour: they not only reason about their own behaviour, but also about other agents' behaviour. To model and formally specify such behaviour requires a framework which provides constructs designed for this purpose. DESIRE (framework for DEsign and Specification of Interacting REasoning components; cf. [LPT92], [BTWW94]), a compositional framework for...
متن کاملExtending Reflective Architectures
The overhead incurred by reasoning in knowledge-based systems can be considerable when it is forced to rely on search. Even problems that are known to have tractable solutions can expend large amounts of computation when the inference method is too general. As discussed in this paper, reflective ar-chitectures provide a well-motivated framework for integrating specialized control with general r...
متن کاملSpecifying Dynamic Software Architectures with Dynamic Description Logic
Dynamic software architectures provide support for building long running and reconfigurable applications. Formal specification is useful to the design of correct and robust dynamic software architectures. In this paper, dynamic software architectures are specified with dynamic description logic. Dynamic description logic inherits the expressiveness and decidability of description logic and it h...
متن کاملDescriptive dynamic logic and its application to reflective architectures
The aim of this paper is to propose dynamic logic as a cotmnon logical framework to describe and identify the most relevant formal characteristics of multi-language logical architectures (MLA) in order to investigate the expressive power of the knowledge bases that can be built upon them. In general, a MLA allows to build knowledge bases as a set of units with initial local theories written in ...
متن کاملمدل عملکردی تحلیلی FPGA برای پردازش با قابلیت پیکربندی مجدد
Optimizing FPGA architectures is one of the key challenges in digital design flow. Traditionally, FPGA designers make use of CAD tools for evaluating architectures in terms of the area, delay and power. Recently, analytical methods have been proposed to optimize the architectures faster and easier. A complete analytical power, area and delay model have received little attention to date. In addi...
متن کامل